User:Z423x5c6/sandbox

Zero and One are the only Consecutive Perfect Squares
(generalize?)

Complex Numbers as External Direct Product
(explain)

Category:Quaternion Modulus
(refer to Category:Complex Modulus)

Product of Sums of Four Squares
(another proof with quaternion)

Non-Abelian Order 8 Group with One Order 2 Element is Quaternion Group
(finish it)

Mellin Transform of Heaviside Step Function
(explain)