theorem :: XPRIMES2:6596

canceled;