theorem :: XPRIMES2:56

canceled;