theorem :: XPRIMES2:6771

canceled;